TrustZone based attestation in secure runtime verification for embedded systems

Dissertação de mestrado integrado em Engenharia InformáticaARM TrustZone é um “Ambiente de Execução Confiável” disponibilizado em processadores da ARM, que equipam grande parte dos sistemas embebidos. Este mecanismo permite assegurar que componentes críticos de uma aplicação executem num ambiente que garante a confidencialidade dos dados e integridade do código, mesmo que componentes maliciosos estejam instalados no mesmo dispositivo. Neste projecto pretende-se tirar partido do TrustZone no contexto de uma framework segura de monitorização em tempo real de sistemas embebidos. Especificamente, pretende-se recorrer a components como o ARM Trusted Firmware, responsável pelo processo de secure boot em sistemas ARM, para desenvolver um mecanismo de atestação que providencie garantias de computação segura a entidades remotas.ARM TrustZone is a security extension present on ARM processors that enables the development of hardware based Trusted Execution Environments (TEEs). This mechanism allows the critical components of an application to execute in an environment that guarantees data confidentiality and code integrity, even when a malicious agent is installed on the device. This projects aims to harness TrustZone in the context of a secure runtime verification framework for embedded devices. Specifically, it aims to harness existing components, namely ARM Trusted Firmware, responsible for the secure boot process of ARM devices, to implement an attestation mechanism that provides proof of secure computation to remote parties.This work has been partially supported by the Portuguese Foundation for Science and Technology (FCT), project REASSURE (PTDC/EEI-COM/28550/2017), co-financed by the European Regional Development Fund (FEDER), through the North Regional Operational Program (NORTE 2020)

Study of the Laser Metal Deposition (LMD) technology, in the automotive industry

The last few decades in the automotive industry have been marked by a heavy concern with the environment, saving energy and reducing material wastage, while aiming to maintain good mechanical properties, essential in the components usage. Additive manufacturing (AM) techniques present themselves as a viable option in the matter, with Laser Metal Deposition (LMD), rising as one of the most promising techniques within this category, capable of producing near-net shape components, with a layer upon layer construction of three-dimensional solid parts from a 3D CAD model, with good mechanical properties and acceptable surface finishing. Laser Metal Deposition is a relatively recent technique, which is made noticeable by the lack of clarification about the influence of several parameters in the final component’s characteristics, ultimately leading to a scarce availability of the process in the market. This paper aims to clarify and evaluate, how LMD produced parts can suit the automotive industry, by measuring and analysing their behaviour under several mechanical tests

Um corpo elíptico: a expressão e o gesto sob o signo da civilização

[Extrato] Na interpretação musical, como decorre da assimilada designação anglo-saxónica performance, o corpo assume um marcado protagonismo. Ao problematizar perspetivas alternativas em que o corpo emerge ora objeto, ora como sujeito na criação de sentido, sugere-se, a partir da relação entre mimesis e racionalidade apresentada por Adorno, a pertinência de pensar biunivocamente os esquemas abstratos como racionalização da experiência corporal, e os elementos expressivos e corporais (neurológicos, gestuais) como interiorização de representações cognitivas. [...]info:eu-repo/semantics/publishedVersio

Music interpretation and civilization – rationalising the body and expression in performance

ISBN 978-989-99832-7-4A interpretação musical evidencia na sua transforma ção história o recurso a um aparato físico progressivamente mais extenso, pressupondo, do pont o de vista da preparação técnica do intérprete, um marcado autodomínio e domínio da mot ricidade fina. Por outro lado, a relação que entretecem a representação cognitiva da estrutura m usical com o movimento corporal e a produção e perceção de desvios expressivos, permite m sustentar uma conceção do gesto e da expressão como interização da estrutura musical. Ne sses pressupostos, a interpretação musical é apresentada como um caso particular dos racionaliza ção e autodomínio identificados por Adorno na teorização da modernidade, e teorizados por Norberto Elias na elaboração sobre os processos civilizacionaisinfo:eu-repo/semantics/publishedVersio

Introdução

A importância conferida ao papel desempenhado pelo empreendedorismo na sociedade mudou radicalmente ao longo do último meio século. Após a Segunda Guerra Mundial, imperava na teoria económica a noção de que as grandes empresas seriam as únicas que reuniam condições para explorar plenamente as oportunidades de inovação (Schumpeter, 1942). Porém, desde os anos noventa, o empreendedorismo (entendido como criação de novas empresas, por natureza de pequena/média dimensão) tem sido identificado como uma das principais tendências socioeconómicas e um motor da inovação, da competitividade e do desenvolvimento económico. De facto, há resultados empíricos que comprovam a ideia de que as novas empresas estão mais associadas à introdução de inovações tecnológicas nos mercados e à promoção do crescimento económico e do emprego (Audretsch, 2003).(...

Música, ciência e sociedade: Aaron Williamon

info:eu-repo/semantics/publishedVersio

Integrating DGSs and GATPs in an Adaptative and Collaborative Blended-Learning Web-Environment

The area of geometry with its very strong and appealing visual contents and its also strong and appealing connection between the visual content and its formal specification, is an area where computational tools can enhance, in a significant way, the learning environments. The dynamic geometry software systems (DGSs) can be used to explore the visual contents of geometry. This already mature tools allows an easy construction of geometric figures build from free objects and elementary constructions. The geometric automated theorem provers (GATPs) allows formal deductive reasoning about geometric constructions, extending the reasoning via concrete instances in a given model to formal deductive reasoning in a geometric theory. An adaptative and collaborative blended-learning environment where the DGS and GATP features could be fully explored would be, in our opinion a very rich and challenging learning environment for teachers and students. In this text we will describe the Web Geometry Laboratory a Web environment incorporating a DGS and a repository of geometric problems, that can be used in a synchronous and asynchronous fashion and with some adaptative and collaborative features. As future work we want to enhance the adaptative and collaborative aspects of the environment and also to incorporate a GATP, constructing a dynamic and individualised learning environment for geometry.Comment: In Proceedings THedu'11, arXiv:1202.453